Самая большая электронная библиотека рунета. Поиск книг и журналов
↓

Modeling and Verification of Parallel Processes, 4 school, MOVEP 2000

 Автор: , Автор: , Автор: , Автор:
Категория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 1.52 Mb

Formal Modeling and Analysis of Timed Systems, 6 conf., FORMATS 2008

 Автор: , Автор:
Категория: CsLn_
Размер книги: 3.83 Mb